# -*- mode: snippet -*-
# name: Obligations
# key: obls
# uuid: obls
# --
Obligations $1.
$2
Qed.
